Constraint satisfaction problem

Results: 216



#Item
181Mathematical optimization / Linear programming / Computational complexity theory / Combinatorial optimization / Operations research / Semidefinite programming / Linear programming relaxation / Relaxation / Constraint satisfaction problem / Theoretical computer science / Mathematics / Applied mathematics

Approximating NP-hard Problems Efficient Algorithms and their Limits Prasad Raghavendra A dissertation submitted in partial fulfillment

Add to Reading List

Source URL: www.eecs.berkeley.edu

Language: English - Date: 2009-10-30 11:58:51
182Constraint satisfaction problem / Mathematics / Computational complexity theory / Mathematical optimization / Probabilistic complexity theory / Constraint satisfaction / Combinatorial optimization / Approximation algorithm / Probabilistically checkable proof / Theoretical computer science / Constraint programming / Applied mathematics

Approximability of Constraint Satisfaction Problems Venkatesan Guruswami Carnegie Mellon University October 2009

Add to Reading List

Source URL: www.cs.cmu.edu

Language: English - Date: 2009-11-30 17:57:22
183Constraint programming / Computational complexity theory / Constraint satisfaction problem / 2-satisfiability / Constraint satisfaction / Approximation algorithm / Logic in computer science / Combinatorial optimization / Linear programming / Theoretical computer science / Applied mathematics / Mathematics

Every 2-CSP allows nontrivial approximation Johan H˚ astad Royal Institute of Technology

Add to Reading List

Source URL: www.nada.kth.se

Language: English - Date: 2005-06-22 08:43:27
184Approximation algorithm / Constraint programming / Computational complexity theory / Constraint satisfaction problem

On the Approximation Resistance of a Random Predicate Johan H˚ astad August 20, 2007

Add to Reading List

Source URL: www.nada.kth.se

Language: English - Date: 2007-09-24 02:58:20
185Complexity classes / Mathematical optimization / Constraint satisfaction problem / Approximation algorithm / NP-complete / P versus NP problem / Bounded-error probabilistic polynomial / Constraint satisfaction / NP / Theoretical computer science / Computational complexity theory / Applied mathematics

Max-CSP Semi-Definite programming Inapproximability results Classification On the efficient approximability of constraint

Add to Reading List

Source URL: www.nada.kth.se

Language: English - Date: 2007-09-24 02:55:53
186Notation / XML / Tuple / Bracket / Array data type / Exponentiation / Constraint satisfaction problem / Data type / Array data structure / Mathematics / Computing / Mathematical notation

XML Representation of Constraint Networks Format XCSP 2.1 Organising Committee of the

Add to Reading List

Source URL: www.cril.univ-artois.fr

Language: English - Date: 2008-07-11 17:03:53
187Mathematics / Markup languages / Technical communication / XML / Tuple / Bracket / Array data type / Constraint satisfaction problem / Extensible Storage Engine / Computing / Mathematical notation / Notation

XML Representation of Constraint Networks Format XCSP 2.1 Abridged Representation for the

Add to Reading List

Source URL: www.cril.univ-artois.fr

Language: English - Date: 2008-07-11 17:03:54
188Constraint satisfaction / Applied mathematics / Solver / Constraint programming / Theoretical computer science / Constraint satisfaction problem

Third International CSP Competition (CPAI’08) CSP, Max-CSP and Weighted-CSP Competition Call for Solvers and Benchmarks

Add to Reading List

Source URL: www.cril.univ-artois.fr

Language: English - Date: 2008-07-11 17:08:08
189Mathematical software / Numerical software / Mathematical modeling / Solver / Constraint programming / Chess problem / AMPL / Mathematical optimization / Constraint satisfaction / Theoretical computer science / Operations research / Applied mathematics

Call for Solvers and Benchmarks Third International CSP Solver Competition (CSP, Max-CSP and Weighted-CSP competition)

Add to Reading List

Source URL: www.cril.univ-artois.fr

Language: English - Date: 2008-07-11 17:08:08
UPDATE